verify that x^3 y^3 z^3-3xyz=1